Implementing Object-Z with Perfect Developer.
نویسندگان
چکیده
منابع مشابه
Implementing Object-Z with Perfect Developer
Object oriented development is the methodology of choice for a wide range of applications but those developing critical systems have stayed with techniques with a mathematical basis. Object-Z is a formal specication language that has attempted to bring the benets of an object oriented approach to critical systems. However, it lacks an obvious route to implementation. This paper describes how Ob...
متن کاملTeaching Formal methods with Perfect Developer
In order to teach formal methods successfully, the subject must be presented in a way that students find relevant, manageable and rewarding. This position paper discusses some of the difficulties in teaching formal methods and suggests solutions. We present an outline of the Perfect Developer tool and describe how we teach our own employees to use it for formally verified software development. ...
متن کاملImplementing Design Patterns with Object-Oriented Rules
ANSWER-4ESS, an operation support system for maintaining and monitoring the 4ESS switches distributed in the AT&T network, recently became the first product to use the R++ languagean extension to C++ that adds support for objectoriented (OO) rules. This article shows how these rules not only implement the intelligent behavior of an expert system, but also facilitate inter-object communication ...
متن کاملChapter 4 : Implementing Perfect Questionable Encryptions ∗
The notion of a questionable encryption scheme was first put forth in Malicious Cryptography [10]. In this chapter we present an implementation of the perfect questionable encryption scheme that appears in [9] that is based on our MyCrypt ’05 paper [11]. A questionable encryption (q.e.) scheme is a generalization of a PKCS that includes an additional key generation algorithm that outputs a fake...
متن کاملImplementing an Object Model
The aim of the COCOON project is to investi gate the design of an object oriented data model with main emphasis on e cient implementation of queries and updates While the nested rela tional kernel of DASDBS is the target physical storage system for COCOON the model is also implemented on top of commercial database sys tems as rst prototypes and to analyze feasibility and compare performance Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2006
ISSN: 1660-1769
DOI: 10.5381/jot.2006.5.2.a5